Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
201	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2012-02-02 15:56:23 Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science
202	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-06-27 19:09:09 Computer programming Programming idioms Theoretical computer science Inductive reasoning Mathematical proofs Recursion Recursive definition Mathematical induction Intuitionistic type theory Mathematics Logic Mathematical logic
203	PDF Document Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2012-08-28 12:41:06 Logic Intuitionistic type theory Function Homotopy type theory Dependent type Interpretation Field Subtype polymorphism Lambda calculus Mathematical logic Mathematics Type theory
204	PDF Document Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
205	PDF Document Add to Reading List Source URL: tr.cs.gc.cuny.edu Language: English - Date: 2007-10-27 11:31:38 Philosophical logic Propositional calculus Branches of philosophy Fuzzy logic Intuitionistic logic Modal logic Deduction theorem Monoidal t-norm logic Epistemic modal logic Logic Mathematical logic Non-classical logic
206	PDF Document Add to Reading List Source URL: kuznets.googlepages.com Language: English Propositional calculus Proof theory Logic in computer science Logical truth Deduction theorem Curry–Howard correspondence Intuitionistic logic Theorem Axiom Logic Mathematical logic Mathematics
207	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-06-02 20:33:30 Mathematical constructivism Proof theory Intuitionism Non-classical logic Propositional calculus Realizability Intuitionistic logic Curry–Howard correspondence Dialectica interpretation Logic Mathematical logic Mathematics
208	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-12-13 20:01:59 Mathematical constructivism Quantification Functions and mappings Computability theory Intuitionism Universal quantification Constructivism Interpretation Intuitionistic logic Mathematical logic Logic Mathematics